Now, again, [H_1, H_2]=0. In both cases, we assume that there is "a mechansism" that ensures that H_2=0, so that H => H_1 ~ U > 0.