non-commutative polynomials should be usable now