A programmable smart thermostat for efficient home temperature control.