... A necessary assumption will either be B --> C ( ... These things HAVE to be true or else the entire argument ... , does that mean it MUST be there are no tigers. ... no habitat MUST mean there can't be a tiger. ... means you can have A be true (no more natural habitat ...