Finished optimality analysis section