Define Modality, prove that double negation is one