I don't know why I find this kinda funny

It was there [Stanford University] that I first encountered  the marvelous TEX typesetting system.

Peter Aczel en el prefacio a su Non-Well Founded Sets (1987)