Oh, That’s Easy!One, Two, ManyMirror, MirrorDesigning with Induction (and Recursion)Finding a Maximum PermutationThe Celebrity ProblemTopological SortingStronger AssumptionsInvariants and CorrectnessRelaxation and Gradual ImprovementReduction + Contraposition = Hardness ProofProblem Solving AdviceSummaryIf You’re Curious …ExercisesReferences