(if True then X else Y) → if True then A else B