That was done over a decade or so. Many people will have retired, some continued working in another function, some just went somewhere else. There are still man

That was done over a decade or so. Many people will have retired, some continued working in another function, some just went somewhere else. There are still many traders out there, the market is not that much smaller than 10 years ago.