 Of course, defenders of indeterminate identity do not let this pass unquestioned. One assumption of the argument is that (7′) implies that a is determinately distinct from b rather than just that a is not determinately identical with b.