We recognize proofs as valid through diagram inspection in precisely the same way we recognize empir...
This proposition has not been edited since the history system was added.