Nature of Mathematical Reasoning (Spring 2016)