Kai EditsKai Proofs