gwern comments on Originality vs. Correctness