A Proof of the Strict Monotone 5-Step Conjecture. - John Mackenzie Gallagher; Walter D. Morris Jr. (Discret. Comput. Geom., 2021)