should it happen that the name of Jonathan be discovered by the house of David, then let the Lord seek out the enemies of David.