to execute, to put to death