1 2 3 4 5 6
AND HTrue HTrue :: * = HTrue AND (OR HFalse HTrue) (OR HTrue HFalse) :: * = HTrue t :: HTrue t :: HTrue