Judging Specifications

It should be coherent. It should not have lots of different cases.
The results should be informative. The effects should tell the client something about what it's doing.
The specification should be strong enough. The modifies should be minimal: do as little as possible.
The specification should be weak enough so that it can do what it promises to do most of the time (instead of failing).