sufficient condition subgroup of condition, 1 assertions