Proofs-012-Edit-Copy2