https://123dok.net/document/z3d1p98y-from-lagrange-to-frege-functions-and-expressions.html