Demazure's_conjecture loading ...