P
Initializing...
Reflection relation consistency $R_P\,R_{-P} = 1$ · Prove2Me