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://bbmbatteryes.shop/product-category/924/