[kazinator]

Good point; a minimal Lisp needed for processing LC doesn't require the 42 page formula. That has features like mutable global variables.