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