Boolean Prime Ideal Theorem | Hacker News Reader