What Is the Diet for Someone with Diverticulitis?