Let's Normalize Real Equality