once remarked, there are two kinds of specifications: those where you can see that there aren’t errors, and those where you can’t see that there are errors. Make your requirements short and clear so that they can be checked easily. If there is any material that can be excluded, remove it.