John McCarthy's proposal for the language of the futurewww-formal.stanford.edu·115 pts·protagonist_h·1