The rule is "Either P is an ingredient or Y is an ingredient, but not both." It's easy enough to see that both of them cannot be in, but does this rule mandate that AT LEAST one of them is in? If so, can you also point me to the lecture in the core ...