**A concrete universe exists**: choosing child data for every cell of every concrete member yields a surface universe indexed by concrete members that satisfies the termination hypotheses.

Initializing...

**A concrete universe exists**: choosing child data for every cell of every concrete member yields a surface universe indexed by concrete members that satisfies the termination hypotheses. · Prove2Me