modalities are closed under Sigma
simplifying modalities are reflective