TestSpecification tested
Equality edge cases