Reasoning and Representation