The work of deduction is the interpretation of these formulas, and therefore, strictly speaking, is not inferential at all.