> a file cannot "contain characters" on zero lines. I disagree. To me this doesn't mean that a file "contains at least one character", but that files are conta

> a file cannot "contain characters" on zero lines. I disagree. To me this doesn't mean that a file "contains at least one character", but that files are containers and their contained values are characters. Like most containers in computer science, the set of contained values can be empty, but it's still meaningful to say that it's a container that "contains characters".