Then Saul took three thousand chosen men out of all Israel, and went to seek David and his men on the rocks of the wild goats.
It is interesting that God prevented David’s enemies from assassinating him later when he was Israel’s king (cf. Galatians 6:7). Compare also Jesus’ refusal to take vengeance on His enemies (Luke 23:34).