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.spidertattooz.com/Metabo-HPT-NT1865DMASTM-18V-MV-15-Gauge-Brushless-Cordless-Angled-Finish-Nailer/