Techniques for Analysis