aggiornamento: il nostro prover è inattivo