Deduction - Johnson Laird, Philip Nicholas 1936- (Essays in cognitive psychology, 1991)