Complete Basics and InductionProofs

Did all the exercises - might add more to InductionProofs later