2023 VPS 0826 AmyD Proofs