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