Formal proofs of validity are a challenge. Many new logic students need hints to help get them started on proofs, especially when those proofs use the rules of inference and replacement. In this short video, I explain how to start solving formal proofs, using Intermediate Logic Exercise 17a, problems 8 and 9 for examples.