THE WORK OF DEDUCTION IS THE INTERPRETATION OF THESE FORMULAS AND THEREFORE STRICTLY SPEAKING IS NOT INFERENTIAL AT ALL THE REAL INFERENCE WAS ACCOMPLISHED WHEN THE UNIVERSAL PROPOSITION WAS ARRIVED AT