 There are systematic interrelations among which inferences a thinker can draw. For example, if you can infer p from p and q, then you can also infer m from m and n. The systematicity of thinking requires explanation. Why is it that thinkers who can infer p from p and q can also infer m from m and n?