laptop backpack subgroup of backpack, 2 assertions