2023 VPS 0926 Cassandra Proofs