I'd extend this to state that it must output something on stderr if there's an error.  Things that fail, and don't put out some text when they do are highly irritating.