small pond subgroup of pond, 1 assertions