Cross Reference: /hets/Framework/specs/logics/propositional/syntax/derived.elf