Comment by FormalShorts | Hacker News Reader