 There are two further philosophically significant features of the standard account of identity. First, identity is a necessary relation: If \(a\) and \(b\) are rigid terms (terms whose reference does not vary with respect to parameters such as time or possible world) then