Who Is Katherine Johnson and Why is She Not Bitter?