Let a modal truth be any truth that is about modal entities, such as essences, abilities, or dispositional properties, or that contains modal expressions such as: possibly, necessarily, may, must, could, would, can, and ...