So the necessary assumption is needed or is "necessary" in order for the argument to exist or function? #help