Given these operators and negation, one can always add  modal operators defined as  if and only if .
Given these operators and exclusion, one can always add modal operators defined as  if and only if .