It's a great pity that things weren't so arranged that an empty head, like an empty stomach, wouldn't let its owner rest until he had put something in it.