Given these operators and negation, one can always add  modal operators defined as  if and only if .
Considering the provided operators and rejection, it is possible to introduce additional modal operators characterized by  if and only if .