Henry G Baker
https://stackoverflow.com/questions/21769348/use-of-lambda-for-cons-car-cdr-definition-in-sicp
comment & refutation : http://dreamsongs.com/WorseIsBetter.html