Formal PD