Formal system+briefview

An agreed upon set of symbols and instructions for measuring and validating