... for the answer choice that must be true if the argument's ... proves that the conclusion is true.
Language ... never, must, requires. Sufficent assumptions do not have to be true but ... . Necessary assumptions have to be true, but they simply help ...