En el capítulo 4 de la tesis se mencionaba un ejemplo de una posible interpretación de un cubrimiento como la función sucesor. Este ejemplo ahora se consideró innecesario desde que queda establecido el tipo de cálculos que se realizan (dado un cubrimiento y un conjunto de reglas, entontrar otro cubrimiento suficientemente parecido a un conjunto de cubrimientosque son solución del problema).