substitutionGroup Tests abstract substitution group Tests multiple substitution group heads Tests for 1 substitution group head structures 3.3.6.1.5 - there are circular substitution groups structures 3.3.6.1.4 - element's type def is NOT validly substituable for its member's type def