stipulative definition subgroup of definition, 2 assertions