The locations of halo formation and the peaks formalism | Synapse