CS243: Discrete Structures Structural Induction Review Strings and