Replacing old notes with new ones including proofs