Estas consecuencias pueden ser canceladas si otras premisas determinan que las fórmulas que necesitaban ser consistentes no lo eran; esto sucede en un método dinámico de prueba.