Describir: Possible Worlds as Propositions.