Smyth Family Christmas 2017 – proofs