You're entirely right. I was mostly just picking nits at op saying the funding wasn't direct. But it's functionally both direct and exclusive in that if Google pulls out, even if e.g Bing comes in with a bid it'll likely be drastically less, and Mozilla would be stuck restructuring pretty substantially in order to survive.