Historia es, desde luego exactamente lo que se escribió, pero ignoramos si es lo que sucedió.
Enrique Jardiel Poncela