https://123dok.net/document/zkwowgee-on-core-xpath-with-inflationary-fixed-points.html