natural pool subgroup of pool, 1 assertions