P
Initializing...
Eventual existence of ambient sorted tail list and factor sublist · Prove2Me