Implementation of Efficient Outcomes