If these terms are convertible, anything satisfying one criterion must satisfy the other by logical ...
This proposition has not been edited since the history system was added.