Now that we're actually past the structural part of logic and done learning the symbols, we've finally started on proofs. Thank god despite the fact we are doing calculus related proofs we don't actually have to know how to prove the formulas. They're given all to us. If they weren't, I think it would've been a disaster for me since I'm so bad at it. Anyways this part is pretty easy-going as long as one keeps a clear head and doesn't make any random false connections when proving.