•Immerman and Vardi’s results:
FO+LFP+< = FO+IFP+< = PTIME
FO+PFP+< = PSPACE