how to prove it a structured approach pdf