Elliott-Christmas at the Barn (Proofs)