Many logically sound frameworks (like higher-order logic) permit cross-type relationships without co...
This proposition has not been edited since the history system was added.