Class Theories.TheoryAnchor