generalizations for modal