https://9lib.org/document/q2n0vr8e-solidity-general-varieties-tree-languages.html