Forgiven (Skillet song) Forgiven (Skillet song) Forgiven is the fourth single from Christian rock band Skillet's 2009 album "Awake", and is the ninth track on the album. The single was released to Christian CHR/Rock radio on August 2, 2010. The song received critical acclaim and was a moderate success. Although it reached number one on both Christian rock radio and CHR, Skillet has never performed it live. Lead Singer John Cooper said this about the song. 'I am really excited about this song, which is probably the most overtly Christian song on the album. I think “Forgiven” is a very hopeful song, and
Envy-free item assignment the agents' utilities are not additive, the MNW solution is not necessarily EF1; but if the agents' utilities are at least submodular, the MNW solution satisfies a weaker property called "Marginal-Envy-Freeness except-1-item" (MEF1). There is an alternative criterion called Envy-freeness-except-cheapest (EFx): For each two agents A and B, if we remove from the bundle of B "any" item, then A does not envy B. EFx is strictly stronger than EF1. As of this writing, it is not known whether EFx allocations always exist. Given an allocation "X", define the envy ratio of "i" in "j" as: so the ratio is