Stefan | ᕕ(◠ڼ◠)ᕗ says to YSITD also, for all food F, if F is rotten, then F is not edible => for no food F, F is rotten and F is edible