Kimber ~ EditedKimber ~ Proofs