running time proof added