Kurt proofs


(unedited)