The outer loop ensures that; it's this inner loop that can be removed, OTOH.