We can either say deleting permanently deletes the file to make it more obvious.