. "A judicial executioner is a person who carries out a death sentence ordered by the state or other legal authority, which was known in feudal terminology as high justice."@en . . .