From this, derive the right grading on face lattices of convex sets.
From this, derive the right grading on face lattices of convex sets.