Original: For all integers a, b and c, (a + b) + c = a + (b + c).
Simplified: For all a, b and c in G, the equation (a • b) • c = a • (b • c) holds.