gwern comments on Working Mantras