PDA formula