So on that day all the people and all Israel came to know that it was not the king’s doing that Abner, son of Ner, was put to death.