Historia es, desde luego, exactamente lo que se escribió, pero ignoramos si es lo que sucedió

Enrique Jardiel Poncela