P
Initializing...
An eventual polynomial bound for the row count · Prove2Me