johnswentworth comments on Is requires ought