H, contradiction