[ if True then x else y ]