The language of reason