f g x nat f x x g x nat f x x x nat f x x g x nat f x x X nat nat f nat nat nat g nat nat nat FULL .