Algebraically_closed_extension loading ...