The real failure of this law is that, even if you use Common Lisp (or every other language), to implement your software you will finally have an ad hoc, informa

The real failure of this law is that, even if you use Common Lisp (or every other language), to implement your software you will finally have an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp implemented in your software. The solution is to design your software as a compiler from the start.