A tough nut for proof procedures – John McCarthy (1964+?) | Heykuki News