If intended models can contradict formal results, treating them as pre-formal evidence risks legitim...
This proposition has not been edited since the history system was added.