https://9dok.net/document/zgw3pe7v-structural-relations-between-programs-and-problems.html