high temperature subgroup of temperature, 96 assertions