[godelski]

Sorry, I replied to a sibling comment that was nearly identical[0]. Luck(?) would have it, said other problem was made more explicit[1]

[0] https://news.ycombinator.com/item?id=45033035

[1] https://news.ycombinator.com/item?id=45035699