nullification versions of open and closed modalities