Logical Reasoning and Structured Analytic Techniques