Strong individual supervenience requires no A-difference without B-difference across all possible wo...