Pieces necessary for the implementation of remove.