Not necessarily compared to netting $44bn, though. I guess it depends on how long they think it’ll take for Twitter to reach that price again, if ever.