Smullyan modality_and_description.pdf