. . "There is no such thing as a requirement that specifies a single function." . .