1 problem

The Strong Lang Conjecture. If $X$ is of general type, then there exists a proper subvariety $\Sigma\subsetneqq X$ such that for any finite extension $K'$ of $K$,