only one is_pure; normalize triples

(check_tests/test01 passes again)