The Theory pair
Parents
Children
Constants
Types
Fixity
Terminators
Definitions
Theorems
V