Pero he aquí el hecho.