f g a a f f x b g x f g x 2.2 g x g x g x f g x true g x g x true Failed! NaTT certifiable-1.6