associativity check