The contract makes them stay under 5% OS so they don’t have to file. Nobody will know when they sell.