You are correct, it’s not needed, but at least it solves the issue of people claiming that the instructions imply that if A == B, then A should also be a sublist of B. The current instructions only state that A and B should be equal (in the examples).