It is erronous to assume that the set X is within Y. Y is a limited set. In
this example it is limited to "safe and healthy."  You are making the
assumption that p-man only ate things which were "safe and healthy." We
can't prove that. I think what you are trying to say is that p-man was not
aware of all the foods that were "safe and healthy." And I'm sure he
wasn't.

doug



>If:  X = the set of all things consumed by p-man.
>     Y = the set of all things safe/healthy to consume.
>
>We will agree that all members of the set X *are* contained
>within the set of Y.