ice_2、codice_3等）。格林斯潘第十定律表示，任何复杂软件系统都需要上述的功能，都将从头到尾重新设计开发这一套系统，而这在Common Lisp中已经存在了。
莫里斯推论.知名黑客罗伯特·泰潘·莫里斯后来给该定律加上了推论，澄清适用该定律的“足够复杂的”程序集合：可以认为是对编写庞大而复杂的Common Lisp程序困难性的评论，或仅仅是对于Lisp中eval函数的幽默。格林斯潘第十定律和莫里斯推论都具备黑客幽默中“哈哈，但的确如此”的风格特征。