Permitted endings

For C1–C3 the ending Closed means that the deliverable is a proved statement about objects already defined in X-B. For C4 the only permitted ending is Recorded: a list is not a construction, an obstruction, or a correction. No item is allowed to end by defining a new product, a new vertex, or a new field.