Output

Falso[-∞..+∞]

Qui viene restituita la nuova struttura UV.