HoldMyType<p>I don&#39;t post on <a href="https://mathstodon.xyz/tags/mathoverflow" class="mention hashtag" rel="tag">#<span>mathoverflow</span></a> , but when i do<br /><a href="https://mathoverflow.net/questions/434279/two-credible-references-seem-to-differ-on-the-equivalence-of-induction-and-well" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">mathoverflow.net/questions/434</span><span class="invisible">279/two-credible-references-seem-to-differ-on-the-equivalence-of-induction-and-well</span></a><br /><a href="https://mathstodon.xyz/tags/linearorder" class="mention hashtag" rel="tag">#<span>linearorder</span></a> <a href="https://mathstodon.xyz/tags/newfoundations" class="mention hashtag" rel="tag">#<span>newfoundations</span></a> <a href="https://mathstodon.xyz/tags/axiomofchoice" class="mention hashtag" rel="tag">#<span>axiomofchoice</span></a> <a href="https://mathstodon.xyz/tags/zornslemma" class="mention hashtag" rel="tag">#<span>zornslemma</span></a> <a href="https://mathstodon.xyz/tags/induction" class="mention hashtag" rel="tag">#<span>induction</span></a></p>