cooling fan subgroup of fan, 8 assertions