hard disk drive subgroup of hard drive, 7 assertions