(if True then y else z).x