computer scientist subgroup of scientist, 1 assertions