nonreflectiveness

not defined yet