2023 VPS 0204 LexiT Proofs