Spec UC2 has normative _MUST_ (x2) related to `requiredStatement`.
Spec UC2 has normative MUST (x2) related to
requiredStatement.