Functional Analysis Revisited