2021 LexiB 0516 Proofs