f nil nil f . nil y . nil f y f . . x y z f . x . y z g nil nil g . x nil . g x nil g . x . y z g . . x y z 2.2 g . x . y z g . . x y z g . x nil g x f . nil y f y f . . x y z f . x . y z true f . . x y z f . x . y z f . nil y f y true f 1 0 nil 0 1 f 1 1 0 g 1 0 . 2 1 2 28958 g 1 0 f . . x y z f . x . y z f . . x y z f . x . y z true f 1 0 nil 0 1 f 1 1 0 g 1 0 . 2 1 32286 g 1 0 g . x nil g x g . x . y z g . . x y z true f 1 0 nil 0 1 f 1 0 g 1 1 0 . 2 1 2 1424 g 1 0 g . x . y z g . . x y z g . x . y z g . . x y z true f 1 0 nil 0 1 f 1 0 g 1 1 0 . 2 2 4421 g 1 0 NaTT certifiable-1.6