Text this: Linear functionals and duality :