new thermostat subgroup of thermostat, 3 assertions