Added Section On Patterns of Proof