We give two optimization programs for determining whether Pareto improving local changes are possible. When they are, the programs compute them. Any procedure generating efficient and Pareto improving changes can be replicated by these programs. The two programs are dual to each other. We apply...