5.254 Operations can vanish (e.g. denial in “~~p”, ~~p = p).