Revisiting the second order formalism of JT gravity | Synapse