Text this: Probability in Banach spaces, 9=