SLE does not hit a fixed nonzero boundary point ($0\le \kappa <8$)

For a fixed $x\in \mathbb{R}\setminus \{0\}$, a chordal SLE trace in $(\mathbb{H},0,\infty )$ satisfiesFor $\kappa \le 4$ the trace avoids the entire nonzero real boundary. For $4<\kappa <8$ it meets a random boundary subset but misses each predetermined point. A fixed point is nevertheless swallowed almost surely in this latter range: visiting and disconnecting from infinity are different events.^[ref]

The restriction $\kappa <8$ is essential. At $\kappa \ge 8$, the strict ordering threshold for SLE boundary swallowing and real-line visitation from strict SLE swallowing order give visits to every real boundary point. The SLE boundary-point logarithmic separation diffusion proves the below-eight fixed-point assertion through the probability of swallowing before a nearby point; its limiting behavior changes at eight.