AOS2 Topic 2: Substitution and Arithmetic