soprattutto con lo stato del calcolo verificabile