Il programma non può essere un vincolo