Consider a social planner whose objective is to ensure that all allocations are envy-free. Suppose that the planner can intervene by changing consumers' initial endowment, subject to the fixed social endowment. Can the planner find an intervention such that, after the intervention, every competitive equilibrium application is envy-free? Either prove that this is true, or briefly explain why this is not true.