Verificarea formală rămâne calea.