Descriptive Complexity Theory
Dizzying eh @_@? Tau Meta Language is in the FO(PFP) range under PSPACE complexity.
Image source and further reading on descriptive complexity: https://people.cs.umass.edu/~immerman/descriptive_complexity.html
Ongoing work on TML:
https://github.com/IDNI/tau/blob/master/tml.cpp