gwern comments on Semantic Stopsigns