yes = if x then f y else z