An introduction to modal logic; a gift from Aristotle.