phd: Church-Rosser PhS correction