McCarthy 91 Implementation