This chapter assesses the choice of cohomology and Aubry-Mather type at the double resonance. It begins by choosing cohomology classes for the (unperturbed) slow mechanical system. As in the case of single-resonance, the strategy is to choose a continuous curve in the cohomology space and prove forcing equivalence up to a residual perturbation. To do this, one needs to use the duality between homology and cohomology. The chapter then proves Aubry-Mather type for the perturbed slow mechanical system and reverts to the original coordinates. As the system has been perturbed, one needs to modify the choice of cohomology classes to connect the single and double resonances. Finally, the chapter proves Theorem 2.2, proving the main theorem.