An Operation That Undoes A Deletion