No FAQ available that match "programs probabilistic bisimulation extends naturally"