Use-Trace Epistemology and the Logic of Inference. (1st October 2016)