¹ The slang name for the hangman at Tyburn, derived from a real executioner of the late seventeenth century named Jack Ketch.