Exchange and optimality