yes = if (f x) then y else z