P
Initializing...
A verifiable statement is the disjunction of its verifiable set · Prove2Me