Is there any reason to think Michael Church earned more than Dr. Gebru? Michael Church only worked at Google for 6 months, so I would guess none of his stock vested.