Re SEAC, potentially some selling early in Jan for those who wanted to defer gains on shares bought at lower levels in 2019?