Schaffner-style refinements permitting 'corrected' versions of the reduced theory tacitly acknowledg...