There are two kinds of theorems

(blog.plover.com) by andsoitis | Aug 13, 2026 | 0 comments on HN