Feeling pretty good about definitions. Moving on to proofs
More stats!