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.