Can patent law be expressed in set theory? | Hacker News Reader