Lex Proofs