We introduce MTT. a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes. modalities. https://www.tourettebrewing.com/