A mondat egy bonyolultabb változatát hozza létre Egy példa a valós számok n-es tuplájának típusa, amit úgy jelölhetünk meg, mint \\ mbox (, n).
Természetesen a mondat egy bonyolultabb változata: "Példának tekinthető a valós számok n-túpulái típusa, amit úgy jelölhetünk, mint \\ mbox (, n), ez egy függő típus, mert a " " típus függ az n értéktől:. "