LISP has been described as the Maxwell's equations of software. Yet there's been very little focus to date on reducing these equations to their simplest possible form. Even the original LISP paper from the 1960's defines LISP with nonessential elements, e.g. LABEL. This project aims to solve that by doing three things: We provide a LISP implementation that's written in LISP, as a single pure expre