Nakai_conjecture loading ...