If so, it follows that if we start as Sobel does with the imaging function, defining the dependency hypotheses as equivalence classes, and thence defining an imaging function as I did, we will get back the same imaging function that we started with.