different size subgroup of size, 13 assertions