lambda1@tg
says to
YSITD
that translates precisely to for all food, Not rotten(food) => edible(food)