no | a = 1 | b = 3 | otherwise = 2