Talk:Probabilistic CTL