P
Initializing...
Formula well-formedness decided in quadratic time by Turing machine · Prove2Me