Recent theoretical and experimental work on the foundations of statistical mechanics and thermodynamics has shown that quantum pure states typically evolve to thermal equilibrium. We focus on formulating the second law ...