adding the delete, section 3.1.5