Benacerraf's insight that mathematical identity cannot depend on representational accidents applies ...