Text this: Rigid designation and theoretical identities /