lambda1@tg says to YSITD taking contrapositive, we thus obtain the equivalent statement: for all food, rotten(food) => not edible(food)