If your complaint really is "This entire statement is useless, because the specification should explain what to do with given input, not what input must be", th

If your complaint really is "This entire statement is useless, because the specification should explain what to do with given input, not what input must be", then I have good news: the spec contains far more words, and some of them even cover what you claim it doesn't.