Therefore, 'a = b' as a bare logical identity cannot guarantee shared sortal membership without pres...