Building Proofs: A Practical Guide