button aspect of thermostat, 3 assertions