Your nit reminded me of this: http://web.archive.org/web/20080516195038/http://cs-people.b...
"Lower Bounds for Probably-istic Polynomial Time" an extremely funny read :)