Describir: Inferences Between Buridan's Modal Propositions.