Karsen ~ EditedKarsen ~ Proofs