And where did this information about portfolio managers diversifying come from?