Para verificar el modelo, se tendría que encontrar algún rastro del modelo en las observaciones actuales, y esto requiere que el modelo sea formalizado teniendo en cuenta que predicciones detalladas y cuantativas puedan realizarse, lo que provoca el mencionado problema teórico comentado en el párrafo anterior.