The Three Varieties of Red Cards, 1: The Executioner