Abstract Proof of Palm — Deca