Why a `.copy()` here rather than `.local_view()` as above?