The art and science of reasoning.