Input (grade 6): For each a in R, there exists an element b in R such that a + b = b + a = 0 5.
Output (grade 10): For each a in R, there exists an element - a in R such that a + (- a) = 0, where 0 is the additive identity element.