Relational structures can generate reflexivity without explicit stipulation, as symmetry and transit...
This proposition has not been edited since the history system was added.