referential-equality