monomial: add an assertion.