User:Mizar

I support ProofWiki's mission, so I decided to make an account in order to improve a few articles for clarity.