P
Initializing...
Proposition 61, `U' (U')† = 1`. · Prove2Me