Domain correction

correction{ The complete punctured conical spacetime is not assumed to possess a global retarded inverse or a global Cauchy isomorphism. All positive evolution and quotient theorems below have the laboratory support contract of Definition def:laboratory.}