Nota de rodapé

Possivelmente óleo como o usado para as tochas dos 300 homens de Gideão; ou o óleo com que os reis de Israel eram ungidos.