Jineon Baek's new proof refines the maximum area of a shape that can navigate a right-angled corner, pending peer review.
