Before revision:  Deviating from this trend, we define and study the novel notion of interim envy-freeness (iEF) for lotteries over allocations, which aims to serve as a sweet spot between the too stringent notion of ex-post envy-freeness and the very weak notion of ex-ante envy-freeness.
After revision:  Deviating from this trend, we define and study the novel notion of interim envy-freeness (iEF) for lotteries over allocations, which serves as a sweet spot between the too stringent notion of ex-post envy-freeness and the very weak notion of ex-ante envy-freeness.