Formal Analysis Contributor Martin Man Fun Volume 2, Issue 11 Vol. 2, No. 11 January 12, 2017 Jan 12, 2017 Martin Man (M Arch I ’19)