Text this: The Bochner integral