quantum computer subgroup of computer, 17 assertions