EqualityTest expanded.