Framleiða flóknari útgáfu af setningunni Dæmi er um tegund n-túpúl raungja, sem við getum merkt sem \\ mbox (, n).
Auðvitað er flóknari útgáfa setningarinnar "Dæmi er tegund n - tuples af rauntölum, sem við getum lýst sem \\ mbox (, n), þetta er háð tegund vegna þess að tegundin '' er háð '' á gildi n:. "