Let X A be a reduced, irreducible, closed subvariety of a semiabelian variety A over an algebraically closed eld k. We would like to study the structure of such an X. Our point of departure is arithmetic: motivated by Lang's conjectures 15, 17, 16], as manifested by the theorems of Faltings 6, 7] and Vojta 27], we study the Mordell exceptional locus: that is, the union of translated positive di...