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