Vojta's_conjecture loading ...