Define Modality, prove that double negation is one
Merge pull request #352 from JasonGross/ex-7-12

Define Modality, prove that double negation is one