addition, subtraction, formal methods; calculate, verify.
Part of England National Curriculum: Mathematics.