In this talk we will begin the discussion of the results in Bezrukavnikov's "On Two Geometric Realizations of the Affine Hecke algebra". We will put all the previous tools described in this series of talks together to construct the equivalence of monoidal categories categorifying the realization of the affine Hecke algebra as the K-ring of the Steinberg variety.