P
Initializing...
II: accepting several partition cells cannot help when each cell is extendable · Prove2Me