P
Initializing...
The few-symbol completion condition, including order zero · Prove2Me