digital computer subgroup of computer, 9 assertions