light edit Proofs