https://9dok.net/document/y96ml0el-extending-two-variable-logic-on-trees.html