 The possible existence of such non-qualitative properties as explanations of numerical distinction between substances can perhaps be made plausible by considering a modern equivalent to the medieval thought-experiment about angels, namely, the famous counterexample to the identity of indiscernibles suggested by Max Black. A wants to defend the principle, and B attack it, and B does so by proposing the following case: