removed auto from path_induction. started HIT for circle. fixed some of the definitions near the end I wasn't compiling.