Mizar_and_Alcor loading ...