duvet cover subgroup of blanket, 2 assertions