Notice I get the foreshortened length here, and what I find moving things around is that vt2 is G - L * the square root of one - v^2 / c^2 by construction we said that this is less than G so vt2 is positive because I was running fast enough. 