yes = if x then (f y) else z