I agree. Good documentation (nearly) fully specifies program behavior, and doing so with just examples is impractical or impossible.