Monomial checking is corrected