CB.Calc.LIM-2: Reasoning with definitions, theorems, and properties can be used to justify claims about continuity.