then we can write dt^2 = k