Yau's_conjecture loading ...