The independence of language and mathematical reasoning.