Formal system:
An agreed upon set of symbols and instructions for measuring and validating