modern computer subgroup of computer, 17 assertions