new laptop subgroup of laptop, 6 assertions