Prime_ideal loading ...