P
Initializing...
A cell whose birth-supremum is its own level forces that level into the critical set · Prove2Me