Added EqualSpec