P
Initializing...
Proposition 2: the disjoint-position certificate reveals the identifier XOR · Prove2Me