yes = if f a then True else b