Giving all loops a fixed upper bound comes at a cost to code readability (consider the example of traversing a linked list, as given in the article).