NICK NAMES: Some folks call him Old Nick or Old Scratch when they "speak of" him