P
Initializing...
A solution is reliable iff it is feasible for (∗) · Prove2Me