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://midwaysportes.shop/product-category/putting-green/