This does not appear to be used (though the code below is a manually coded iteration through the elements...)