Def irreflexive

Modification history