Ah, it's explained below. But we don't mention the equivalent case for class-level constraints either. I think we could leave this out. When a cross-parameter constraint is validated, a `CrossParameterNode` is added as described above. If a user adds sub-nodes, I don't think that is a "traversal".