Before revision:  Instead we seek to rule out {\em justified envy}, defined as envy for which the remedy would not violate any agent's property rights .
After revision:  Instead we seek to rule out {\em justified envy}, defined as envy for which the remedy would not violate any agent's participation constraint .