i'd just like to publicly state that my discrete math homework sucks. course of values induction proofs about euclid's algorithm and trees are not fun.