Lana proofs