Proofs for Lyndsy