John McCarthyXLVII