Input (grade 9): There exists an element 0 in R, such that for all elements a in R, the equation 0 + a = a + 0 = a holds.
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.