2021 LexiB 1003 Proofs