https://skibinsky.com/godel-incompleteness-for-startups/