Welcome Sweet Sophie! KC-proofs