Why do we need to define these two methods? Should not the methods defined at `CollectionProxy` be sufficient?