https://1library.net/document/z3ng5p9q-a-simple-syntax-for-complex-semantics.html