Probabilistic bisimulation
 
x
OK