Studytime

I've been studying pretty hard for this midterm, but I'm wondering if anyone has any specific techniques that are helpful for this course. I started by trying to commit all of the rules to memory, but proofs are still so much easier if I have the list with definitions in front of me. Aside from that it's really just been practice, practice. I'm finally starting to have fun with proofs, but this mode of thinking is still lacks a lot of intuition for me. Any suggestions for specific exercises to improve general familiarity and ease with proofs and related sensemaking? I've considered the concept of reverse engineering proofs into hypothetical sentences, but I haven't really put too much time into it yet.