RIP VAN WINKLE.

Washington Irving.