The following pages link to This pattern establishes correspondence stating that classes are disjoint.: