(you could have a mix of commutative and non-commutative factors)