 Philosophers have distinguished many different varieties of supervenience. In  Section 4,  we will lay out those varieties, and note their pairwise logical relations. For now, though, we will stick to the core idea of supervenience—namely, that there cannot be an A-difference without a B-difference. A number of general points of philosophical interest can be made just by working with that simple and easy idea.