Pda Technical Report 26 [Proven × Breakdown]