proper equality