The Van Voorhis group at MIT is developing new methods based on density functional theory to provide an accurate description of excited electron motion in molecular systems. Density functional theory is based on what quantum mechanical principle which states that the ground state energy of a system is always less than or equal to the energy of a trial wavefunction for the system?