The distinction between formal and contingent relations appears stipulated rather than independently...
This proposition has not been edited since the history system was added.