https://123dok.net/document/yr31032o-call-by-value-solvability-revisited.html