P
Initializing...
`ρ(1) = id`. · Prove2Me