2021 LexiB 0829 Proofs