Nope, no need to. (But we should recognize that we may change the looping above)