He aquí, en efecto, lo que ocurrió: