lanie proofs