In this talk I will discuss some of the details of the proof that all ordinary $(\phi, \Gamma)$-modules are overconvergent and examine what additional arguments are necessary to prove this statement in the multivariable setting. Along the way we will encounter a restatement of Drinfeld's Lemma in the context of diamonds. Part 1 of this talk is being given during this week's RTG colloquium.