 Recall that everyone agrees that the reduction of A to B implies the supervenience of A on B  (Section 3.3).  This gives rise to one central use of supervenience. Arguing against a supervenience thesis that must be true if some program of reduction or conceptual analysis is to succeed is a common way of arguing that the program cannot succeed. McLaughlin (1984, 1995) calls this style of argumentation ‘argument by appeal to a false implied supervenience thesis’—or, for short, argument by appeal to a FIST.