 Since \(\alpha\! =\! \beta\) is defined both when \(\alpha\) and \(\beta\) are both individual variables or both property variables, Zalta employs the usual principle for the substitution of identicals. Since all of the terms in his system are rigid, substitution of identicals preserves truth even in modal contexts.