Better equality testing