Re: Mathematician-to-silicon compilers and the Law