yes = if a then True else False