terminal aspect of thermostat, 2 assertions