bisimulation for Tri
better introduction