Question to fund managers. Does removal from the All Ordinaries index result in mandatory selling by index funds?