clarified binary operator associativity