Berge's_theorem loading ...