Dieter Henrich's 'two-step' interpretation of the B-Deduction requires §17 to carry independent demo...