Lexi proofs