Calibration records versus a calibrated interval

Theorem thm:width is therefore an obstruction for inference using the declared interval and interferometer records. If raw external calibration data are also used, their laws belong in the comparison. Coverage of an interval alone does not establish equality of those laws.