<p><span class="h-card" translate="no"><a href="https://mastodon.acm.org/@phf" class="u-url mention">@<span>phf</span></a></span> Actually, I think Ohad has nailed it. (See my response to that post as well.)<br /><a href="https://mastodon.social/@ohad@mathstodon.xyz/113850151574514541" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">mastodon.social/@ohad@mathstod</span><span class="invisible">on.xyz/113850151574514541</span></a></p>