[mcguire]

By the time I'd finished graduate classes, I had a hard time with proofs. After the 10th or 12th introduction to predicate logic with slightly different notation, it just all becomes a big, confusing mass.