battery life subgroup of life, 2 assertions