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