no x = f x (g x)