if True then x else y