This necessary assumption question discusses the treatment ... / anticipation: We need an assumption to the effect of ‘If ... the consequent in the anticipated assumption but leaves out its antecedent ... short of being a sufficient assumption. But is (B) necessary? ...