Type of linguistic modality expressing how the world ought to be.