Category:Symmetric and Transitive Relation is not necessarily Reflexive