Distinct neural substrates for deductive and mathematical processing