The multiple relation theory struggles to explain the difference between judging 'a R b' and 'b R a'...
This proposition has not been edited since the history system was added.