I'd like to hear how your comment isn't irrelevant noise, then. How does one implement these grand ideas except by state action? Otherwise, people will do what people will do, including proving theorems by machine.