From crank to congruences | Synapse