Introduction. Solvable Models, Rigorous Results, and Advances in Formalism: The Hubbard Model: Some Rigorous Results and Open Problems,...