Polly - PROOF - ADL2026