Let "food" be Universe; m="wholesome";
x="muffins"; y="buns".
No x are m;
All y are m.
There is 'no information' for the smaller Diagram; so
Let "food" be Universe; m="wholesome";
x="muffins"; y="buns".
No x are m;
All y are m.
There is 'no information' for the smaller Diagram; so