," which was what we called

.

Thus we have here an instance of the schema of inference, since

represents the

of our scheme, and