Significantly, prior to his formulation of condition I, Nozick seems to discuss the situation concerning the formulation of when the method is making a deduction, which is in effect, and to conclude that, in spite of apparent difficulties, the consequences are satisfactory.