P
Initializing...
isFormulaStringB is PolyTimeDecidable · Prove2Me