Vojta conjecture