Title: Techniques of Deductive Inference.