Only take new proof if its shorter