P
Initializing...
`q^1` is the scalar `X`. · Prove2Me