Lilli's Proofs