TAG comments on Is requires ought