Formalizing Common Sense: Papers by John McCarthy