Empty -→ Mpty -→ Mty -→ MT -→