. . "To be sure, the life-for-life formula is also used in the case of the death of animals (Lev. 24:18), so that this formula by itself does not establish that the referent is a human being." . .