digital thermometer subgroup of thermometer, 3 assertions