ground pool subgroup of pool, 23 assertions