I didn't like how it read "If true" and then had an otherwise.  Does the otherwise refer to the "true" or to the inclusion as described in 4.1.11?  I wanted to make it less ambiguous.  I do think, however, that we need a requirement added to ensure the previous MUST and MUST NOT are not lost.