https://9dok.net/document/q7w7pweo-the-classical-decision-problem-for-fo.html