Incompleteness is when your program works, but the computer doesn't believe you | Hacker News Reader