Or how about Gödel’s Lost Theorem? <a href="https:&#x2F;&#x2F;medium.com&#x2F;@yanazendo&#x2F;godels-lost-theorem-ce8ee4af20b9" rel="nofollow">https:&#x2F;&#x2F;medium.com&#x2F;@yanazendo&#x2F;godels-lost-theorem-ce8ee4af20...</a>