Mathematically, quenched disorder is more difficult to analyze than its annealed counterpart as averages over thermal noise and quenched disorder play distinct roles. Few techniques to approach each are known, most of which rely on approximations. Common techniques used to analyzed systems with quenched disorder include the replica trick, based on analytic continuation, and the cavity method, where a system's response to the perturbation due to an added constituent is analyzed. While these methods yield results agreeing with experiments in many systems, the procedures have not been formally mathematically justified. Recently, rigorous methods have shown that in the Sherrington-Kirkpatrick model, an archetypal spin glass model, the replica-based solution is exact. The generating functional formalism, which relies on the computation of path integrals, is a fully exact method but is more difficult to apply than the replica or cavity procedures in practice.