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