following limit subgroup of limit, 1 assertions