JT gravity at finite cutoff | Synapse