Review of rigorous results on thermostats. Families of exact formal solutions of the BBGKY hierarchy for hard sphere systems with free boundary conditions at collisions and Fourier equation emergence, to first order in the temperature difference, after boundary conditions are imposed. Formal means that the solutions are given by series with well defined terms but whose convergence is not discussed.