જોકે, પ્રમાણભૂત સેટ યથાવત રહે છે.