Exactly... the only redeeming graces for my 7am Wednesday final is that it is indeed open-note, open-book, not cumulative, and all we've done since the midterm is first-order logic, resolution proofs, and Prolog. I'm pretty darn good at those.
Ah logic, another one of those homeschool classes that 'normal' people don't take.