A companion to Andrews and Hopkins' extension of the Crank-Mex theorem | Synapse