Si el modelo matemático no funciona o al ejecutar el programa no cumple los estándares entonces al ejecutar el programa no cumple los estándares. El programa cumple los estándares. Por tanto el modelo matemático funciona.