See Appendix for the entire article.