type size subgroup of size, 2 assertions