Voetnoot
b In de genoemde Bijbelteksten gebruiken sommige vertalingen termen als ‘bevrijder’, ‘leider’ of zelfs ‘iemand’ in plaats van ‘redder’. Maar in de oorspronkelijke Hebreeuwse tekst van de Bijbel is het woord dat voor menselijke redders wordt gebruikt, hetzelfde als het woord dat in andere Bijbelverzen wordt gebruikt voor Jehovah God als Redder (Psalm 7:10).