...I only lost a fraction of a point on a midterm for not citing a theorem from lecture; otherwise, I would have gotten perfect score in the class. I love constructing formal proofs using a first order language and predicate calculus. Deducing that a statement is true as a consequence of the rules of inference applied to a set of axioms is most entertaining. (read more)