Then \(\tau _0 > 0\)  by assumption and \(\gamma (\tau _0) \in \partial U\) . Since \(\varepsilon = 3/5\)  (and hence lightcones are contained within wider Minkowski lightcones with slope 1/2), applying [1]} shows that
