roba sul forcing

non compila, errori
altre modifiche sul forcing