Fuck. Still don't have these proofs done. I hate this shit. I find it so hard to even care about doing it. I keep getting distracted and working on things where I actually feel like I'm learning something.