This is the first in a series of three talks about recent work on the tree property. In this talk I will outline Mitchell's classical proof that omega_2 can have the tree property (relative to the consistency of a weakly compact cardinal).