We may be sure therefore that even in de dicto positions, where substitutivity of simple identity fails, we can depend on substitutivity of necessary identity, rJ is assured by substitutivity of ==. .