Finished pass on bisimulation.