Cassandra Proofs