https://sangkrit.net/10-year-old-problem-in-theoretical-computer-science/