temperature aspect of thermostat, 54 assertions