LP, the Larch Prover -- Sample proofs: how to guide a proof


Here are some things to try when LP and/or you get stuck trying to prove a conjecture.