I will formulate Zilber's Conjecture on Intersections with Tori (CIT), explain how it is related to the model theory of complex exponential field and how the Ax-Schanuel theorem, along with the compactness theorem of first-order logic, can be used to prove a weak version of CIT (the full conjecture is open). Then I will discuss a generalisation of this weak CIT, the proof of which is based on the Mordell-Lang conjecture.