How to Show a Relation is Not Reflexive