Kahla Proofs