Weak Lang conjecture for varieties of general type
Weak Lang conjecture. Rational points on VVV are not potentially dense.