The consequence of the extended Lang–Vojta conjecture for pointed maps
Consequence of the extended Lang–Vojta conjecture. There is a proper closed subset Δ⊊U\Delta\subsetneq UΔ⊊U such that: