1 Informal

At every step in a proof, you must know:

1. what is the goal (the formula to be proven)
2. what are the assertions (the formulas you can use in the proof)

Every proof step changes goal and assertions. The choice of proof step depends on the shape of the goal as of an assertion.