The verify operation assumes that if another process has the dataset locked it is in satisfactory condition and can be successfully opened.