Notes on equality and identity