https://9lib.org/document/zlgjw80o-combinatory-semantics.html