Added by Garrett Stettler (TQ Team 20991) on October 29, 1998 at 19:14:28:
(a + b) + c = a + (b + c)