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