Andy Grove: A Biographer's Tale