2023 VPS 0124 KatC Faves2023 VPS 0124 KatC Proofs