Title: Techniques of deductive inference