P
Initializing...
Census reduction: inside the δ₀-gap the open b-band census collapses to the pinned birth-sup = b census · Prove2Me