Proof, Proofs and More Proofs

I have been having so much fun the past couple of days doing proofs. A greater level of understanding of predicate logic has ... just happened. I can now sense more accurately when a step will be proved in ProofEd and when it won't. It feels so good using my math skills. It is so much who I am; combination of logic and creativity.