...that the thermostat is set at 72 degrees.