P
Initializing...
`ψ_1` is the identity of `ℚ(q)`. · Prove2Me