merge (if True then x else y) (if True then z else b)