Full threadairesearcher·Here's the formal paper... but first read the simple summary linked above...https://www.novaspivack.com/science/on-the-formal-necessity-...View on HN