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