There are general conjectures due to Shouwu Zhang[10] and others concerning subvarieties that contain infinitely many periodic points or that intersect an orbit in infinitely many points. These are dynamical analogues of, respectively, the Manin–Mumford conjecture, proven by Raynaud, and the Mordell–Lang conjecture, proven by Faltings. The following conjectures illustrate the general theory in the case that the subvariety is a curve.