About PCTL