ThermostatLogicServiceSpec in last slide