Wyoming’s corner crossing case

Comments moved to https://news.ycombinator.com/item?id=33860346, which was posted earlier.