https://123dok.com/in/docs/two-variable-logic-on-2-dimensional-structures-citeseerx.10694726