yes x y
  | a = b
  | c = d
  | otherwise = e