to calculate 30 + 70 = 100, 100 - 70 = 30 and 70
= 100 - 30. They check their calculations, including by adding to
check subtraction and adding numbers in a different order to check
addition (e.g. 5 + 2 + 1 = 1 + 5 + 2 = 1 + 2 + 5). This establishes
commutativity and associativity of addition.