The average pencil is seven inches long, with just a half-inch eraser
- in case you thought optimism was dead.

        - Robert Brault