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.