La verifica formale rimane la strada da seguire.