++ nil y y ++ x nil x ++ . x y z . x ++ y z ++ ++ x y z ++ x ++ y z 2.2 ++ ++ x y z ++ x ++ y z ++ ++ x y z ++ y z ++ . x y z ++ y z true ++ . x y z ++ y z ++ ++ x y z ++ y z ++ ++ x y z ++ x ++ y z true ++ 2 1 2 1 ++ 2 1 2 0 nil 0 14235 . 2 2 8856 ++ ++ x y z ++ x ++ y z ++ ++ x y z ++ x ++ y z ++ nil y y ++ . x y z . x ++ y z ++ x nil x ++ ++ x y z ++ x ++ y z true ++ 2 1 2 1 ++ 2 1 0 nil 0 36466 . 2 2 8856 ++ x nil x NaTT certifiable-1.6