Boolean Prime Ideal Theorem | Dark Hacker News