"structural invariants" . . . "structural invariants" .