New semantics of equality