Bumpbing notion version - distcopy