<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@andrejbauer" class="u-url mention">@<span>andrejbauer</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@MartinEscardo" class="u-url mention">@<span>MartinEscardo</span></a></span> I got confused about this very distinction earlier this week, so thanks for the exposition!</p>