Refactored relational: clarified Eq and Ne vs. == and !=.