<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> it&#39;s an open secret that formal methods are much, much harder to get right than informal methods</p>