yes = if f x then y else z