commutative tuning, missing rules added