1-indexes
	• IDEA: Use Simulation or Bisimulation instead of º    Fact: u »b v Þ u »s v Þ u º v    Use the same construction, but [u] now refers to »b instead of º.    Works because Lu = L[u]    Efficient PTIME algorithms exist for computing »b and »s [Paige&Tarjan, Henzinger&Henzinger&Kopke]