<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> Same here, though I distinctly remember the German translation not being for the faint of heart. For your student cohort, I'd imagine "Gödel, Escher, Brown" to be a better fit (:</p>