Ideal_quotient loading ...