For , the Chordal Loewner equation and give
Put . The common Brownian term cancels, so
The Itô formula applied to gives
Since
the clock and its inverse turn the local-martingale term into Brownian motion by the Dambis-Dubins-Schwarz theorem. Therefore
This is the SLE boundary-point logarithmic separation diffusion.
For every , the probability that a chordal trace in passes through is zero. The SLE boundary-point logarithmic separation diffusion shows that the chance for to be swallowed strictly before a nearby point tends to zero as that point approaches ; Scaling invariance of SLE and reflection then handle every nonzero .