(if True then a else b) (if True then y else z)