aggiungere verificabilità allo stack