File:MathFoundations44 Definitions, specification and interpretation