Add example for bisimilar.  Add explanation.