Distinguishing proof from structural suggestion prevents category errors where mathematical elegance...
This proposition has not been edited since the history system was added.