weak base subgroup of base, 1 assertions