purge nil nil purge . x y . x purge remove x y remove x nil nil remove x . y z if = x y remove x z . y remove x z 2.2 purge . x y remove x y remove x . y z remove x z purge . x y purge remove x y remove x . y z remove x z true purge . x y purge remove x y true purge 1 1 0 purge 1 0 if 3 1 2 0 = 2 1 nil 0 16575 . 2 1 2 23677 remove 2 0 remove 2 1 2 23676 remove x . y z if = x y remove x z . y remove x z remove x nil nil purge . x y remove x y false remove x . y z remove x z remove x . y z remove x z true purge 1 1 0 purge 1 0 if 3 1 2 0 = 2 1 nil 0 16575 . 2 1 2 23677 remove 2 2 0 remove 2 1 2 20163 remove x . y z if = x y remove x z . y remove x z remove x nil nil NaTT certifiable-1.6