Diabolus vs Jack Ketch

Diabolus

Jack Ketch

noun

  • the gallows 

  • death 

  • a public executioner 

  • the devil 

How often have the words Diabolus and Jack Ketch occurred in a corpus of books? (source: Google Ngram Viewer )