P
Initializing...
A candidate is Q-bar-independent from 1 and its own conjugate · Prove2Me