Extending equality