Devi attivare Advanced Tools in Logic.