... />
Generally speaking, let's say you have an argument A (main ... ; C. A necessary assumption will either be B --> C (most common ... , if B --> /C, then how could we have an argument ... is fairly straightforward. It will have to be either A --> C ...