What if undecidability shows up all at once? | Dark Hacker News