double negative subgroup of negative, 1 assertions