Input (grade 4): For all a, b, and c in R, the equation (a · b) · c = a · (b · c) holds.
Output (grade 4): For all a, b and c in R, the equation (a + b) + c = a + (b + c) holds.