yes = if x then true else False