Monomial_conjecture loading ...