 considerations, which correspond to the premisses
    of the inference in question.  But suppose that we contemplate
    the possibility of a reasoning process F that takes a Fact ZX
    and produces a middle term Y, in effect, posing the Rule ZY
    and the Case YX at a single moment.  More on this later.

JC: If Z and X are fixed points (as they would be in the everyday
interpretation
    of objective fact), then this would be a model of what I was talking
about.
    If Z and X, however, are facts interp