On Folk Theorems (1980) | Hacker News Reader