Sort:  

Added a technical appendix discussing this point.