This will be the third in a series of three talks surveying a result due to Mitchell, that Con(ZFC + there is a weakly compact cardinal) implies Con(ZFC + omega_2 has the tree property). (Note: This series of talks is designed as a sort of lead up to Itay Neeman's workshop at the end of the month.)