Ah, it's just a more general list that can also be used in other places. In this case it wouldn't be needed, but I think we can leave it. What do you think?