LogicCoach has many aids for working with proofs. One aid utilizes the wildcard star-character or

*

then when you check your proof, LogicCoach will replace the wildcard with the step formula! This can be done for almost any step in a proof and even for all of them.

If you place a * on the justification side of the editor and place the step as is normally done on the left side,

then when you check your proof, LogicCoach will replace the wildcard with the proper citation! This can be done for almost any step in a proof and even for all of them.

If you place a * on both sides of the editor, then when you check your proof, LogicCoach will give a hint about how to construct the proof!

This can be done for up to 3 times on any one proof. The best way is to do it the first time that you are stuck and then try to continue by building upon the LogicCoach advice.