old thermostat subgroup of thermostat, 2 assertions