electric heat subgroup of heat, 2 assertions