The :ordered keyword, which is optional, specifies that Shop3 must perform the task lists in the order that they are given. So ordered lists are the default, and :ordered may be used for emphasis. The :unordered keyword specifies that there is no particular ordering ...
I suggest the following change in sec. 4.9: