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