P
Initializing...
`S ∘ S⁻¹ = id`. · Prove2Me