prop-test ite
prop reduction of and