Commutative and Associative matching