internal energy subgroup of energy, 9 assertions