Initial steps toward refactoring erase-path into subtract