HA! Spring Break, baby! I didn’t think I was going to make it past this week…Monday-Thursday was incredibly stressful. But here I am, at the midpoint of a semester of 25 credits, and holding a 4.0 so far (with 4 out of 9 classes reporting). And the real surprising thing is the fact that I’m holding up surprisingly well. Haven’t crumpled under the stress yet (though I was close on Tuesday, not going to lie). I think I’ve hit my stride with this workload. Unfortunately, I’m very tempted to increase my credit load in the fall to something like 27, but I won’t do that. It’s silly and unnecessary, especially if 6 of my credits next semester are going to be coming from graduate-level statistics classes (which, if they’re both offered, will be the case). I just hope the 4.0 can last until the end of the semester…please, oh please…

Hmm…what else was I going to say in this thing today…

Oh yes! I was going to give you guys an example of a formal proof. This was one of our practice problems, one full of those delicious things we call subproofs! Observe (oh, and the little carat (^) is read as “and,” the little v is read as “or,” that little tilde-like thing at the beginning of the first premise is read as “not,” and _|_ is the symbol for a contradiction. Like that will help at all, but just thought you should know):

Oh, and the goal is to prove R.

This was done in Fitch, the program we use. It’s picky as hell. “Fitch” does not rhyme with “bitch” for no reason, as one person pointed out in our recitation session.

Oh, and an album cover! I like putting wings on things. I’d show you the original, but I’ve lost it (not it it, the picture, it…aw, nevermind).