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