 Inferential theories may be seen as refinements and generalizations of regularity theories. For example, one can explain INUS conditions in terms of relatively simple inferences between the presumed cause and the putative effect. In this explanation, the distinctive feature of Mackie’s theory is explained by the logical form of the background theory. In a propositional setting, this background theory has the logical form of a biconditional