Mr. Cruncher, with some diffidence, explained himself as meaning “Old Nick’s.”