What if undecidability shows up all at once?
nickdrozd.github.io