In which case, should the annotation require a value attribute that could be used to document the reason for the exemption?