judge, jury, and executioner