h f f x h f g f x f g f x f f x 2.2 h f f x h f g f x h f f x f g f x f g f x f f x true h f f x h f g f x true Failed! NaTT certifiable-1.6