https://123dok.net/document/zgw99w16-usual-candidates-reducibility-work-symmetric-lambda-mu-calculus.html