Throw away hypotheses to avoid exponential behaviour