One Can't Proceed From The Informal To

There Is No Such Thing As A Free Variable.

A Language That Doesn't Affect The Way You Think About Programming Is Not Worth Knowing.

A Lisp Programmer Knows The Value Of Everything, But The Cost Of Nothing.

Often It Is The Means That Justify The Ends: Goals Advance Technique And Technique Survives Even When Goal Structures Crumble.

A Year Spent In Artificial Intelligence Is Enough To Make One Believe In God.