4Actually it doesn’t have to—in theory—, but in practice it’s hard to create “negative” files or lines in the working tree. See the chapter about Theory of patches for other constraints.