Lexus' FinalsLexus' Proofs