For some authors, at least in some contexts,1 the distinction between inference and consequence is minimal. An inference can then be regarded as an ordered pair