Algebraic_closure loading ...