gwern comments on Is requires ought