https://fmonk.quasigentsia.com/archives/14947
Discontinuity