Demis is practically a co-CEO at this point. If he leaves, that'd be a huge of trust in Google.