Output

Falso[-∞..+∞]

Questo output mostra la nuova struttura UV.