The Definition as a Sequence of Gates
Figure 1 — Three gates in order, with the failure each one produces.
Caption. The gates are not independent. Gate three can only be reached after gates one and two have been passed, which is why a response that asserts the equality without producing the two numbers has not actually tested anything.
Read literally, this single equality contains three assertions:
- The limit exists and is a finite number .
- The value exists, meaning belongs to the domain of .
- The limit equals the value, meaning .
None of the three implies another. A hole satisfies clause one and fails clause two. A displaced point satisfies clauses one and two and fails clause three. A jump fails clause one outright.