Finishing the bisimulation examples.