P
Initializing...
A cell's birth-supremum either equals its own level or lies in the critical set · Prove2Me