discarded_assumption