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