(n.) A public executioner.