Si la predicción se cumplió, se permite que la ejecución predicha entregue su resultado; sin embargo, si la predicción no se ha cumplido, la ejecución tiene que volver atrás y volver a ejecutarse.