The plurality of confirmation functions satisfying symmetry constraints demonstrates that pure logic...
This proposition has not been edited since the history system was added.