The auto-formalization of mathematics versus law | Hacker News Reader