Novikov_conjecture loading ...