Minimal_prime_ideal loading ...