Almost all of Basics.v
Worked on Induction.v
Halfway Lists.v