@arrrg Which is perfectly fine and, if they had any foresight, to be preferred to the feel of the wrong end of a guillotine on their throats.