Proof Tree — Deca