A smart thermostat that learns your schedule and optimizes energy use.