Completely new to this, and trying to start building up a set of proofs so I can get into the good trackers.