irreflectiveness

not defined yet