The PDA formula