lambda1@tg
says to
YSITD
For no food, P(food) is the same as For all food, not P(food)