Kripke's necessity of identity entails that if A and B are numerically distinct, this is so necessar...