Text this: On the coalition-proof Nash implementation of the Pareto and no-envy correspondence