public pool subgroup of pool, 2 assertions