Added an explanation of a bisimulation