 We can express this point by saying that these inferences are instances of the following form: B if A, and A; so B. The  Stoics  discussed several patterns of this kind, using ordinal numbers (instead of letters) to capture abstract forms like the ones shown below.