Mathematical Appendix ===================== Coming soon!