feature aspect of thermostat, 4 assertions