Se ştie că David l-a lovit pe Goliat cu praştia, după care i-a smuls sabia din teacă şi i-a tăiat capul. Fericitul Ieronim, interpretând alegoric, spune că diavolul a fost doborât cu propria sa armă.