<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> actually it's interesting to me that you say it doesn't matter in practice, do you know why? also, can you explain how quantifier elimination works?</p>
