Katreia Proofs