<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@PeterLudemann" class="u-url mention">@<span>PeterLudemann</span></a></span> Yes, we know, everything is better in Prolog, even things we don&#39;t understand. (-:</p>