Proper equality for denotation