Original: For all a, b in R, the equation a + b = b + a holds.
Simplified: For all a, b and c in R, the equation a + b = b + a holds.