The associative property of addition