A critical requirement of the Lorentz transformations is the invariance of the speed of light, a fact used in their derivation, and contained in the transformations themselves. If in F the equation for a pulse of light along the x direction is x = ct, then in F ′ the Lorentz transformations give x ′ = ct ′, and vice versa, for any − c < v < c.