09 · Face builder
Give every index a role.
Partition J into R, M, Z, and N, then choose T. The classification theorem turns that discrete recipe into a unique product face.
Blue vertices span the faceEvery index belongs to exactly one of R, M, Z, and N.