yes x = if x then a else b