Pasaia: Testuinguru honetan, "ia ziur" esanahi zehatza duen termino matematikoa da, eta "tximinoa" ez da benetako tximinoa, baizik eta letra eta sinboloen sekuentzia etengabe bat sortzen duen gailu abstraktu baten metafora. "Tximinoaren metafora" erabiltzeko lehen adibideetako bat 1913an Émile Borel matematikari frantsesarena da, baina lehen adibidea are lehenagokoa izan daiteke.
Metafora bat da.