In this paper I combine techniques recently developed by Charles Fefferman with the well-known methods of Joel
Lebowitz and Elliott Lieb to resolve some technical problems left unsettled by Lebowitz and Lieb's fundamental
1972 paper "The constitution of matter: Existence of thermodynamics for systems composed of electrons and nuclei."