'Cravou' na Bíblia

E Davi meteu a mão no alforje, e tomou dali uma pedra, e com a funda lha atirou, e feriu o filisteu na testa; e a pedra se lhe cravou na testa, e caiu sobre o seu rosto em terra.

Então Davi correu, pôs o pé sobre o filisteu, apanhou-lhe a espada, tirou-a da bainha e a cravou no filisteu e, com ela, decepou-lhe a cabeça. Assim que os filisteus se deram conta do que havia acontecido e confirmaram que a morte de seu grande guerreiro, fugiram em disparada.