This is the English version of the introduction to Modal.