put to death; carried out