size diaper subgroup of diaper, 3 assertions