Oaksford & Chater's (O&C's) account of deductive reasoning is parsimonious at a local level (because a rational model is used to explain a wide range of behavior) and at a global level (because their Bayesian approach connects to other areas of research). Their emphasis on environmental structure is especially important, and the power of their approach is seen at both tile computational and algorithmic levels.