Equazioni di verifica