A generalization established independently of S renders the inferential role of S purely heuristic, ...