Posts in PCTL