s-subtle shifts in the internal semantics of his formalizations that could not be traced to any explicit parameter c