Los invariantes son más fáciles de definir que los errores de encontrar. Rima.