Keirla's First Christmas Session Proofs