"A Document is a kind of file." . . . .