2.6.3 The Final Context
CONTEXT
agatha
SETS
CONSTANTS
AXIOMS
END