I was going to jump directly into proof techniques before realizing the background logic knowledge was necessary before doing the fun stuff. But look forward to your series as well