1: \begin{proof}

2: %This proposition follows immediately from the work of \cite{ACQ}\footnote{Note also the (non-rigorous) work of \cite{SaSp,Dot,CDR} in which this one-point distribution was discovered independently and in parallel to \cite{ACQ}.} which computes an exact formula for the one-point distribution $\PP\big(\HKPZnw{t}{x} +\frac{x^2}{2} \leq s\big)$ and proves that as $t\to \infty$ the distribution converges to $F_{{\rm GUE}}(2^{1/3} s)$, the GUE Tracy-Widom distribution\footnote{It is also conjectured therein that the spatial process should converge to the Airy process (for which the GUE Tracy-Widom distribution is a one-point marginal). For more on this conjecture, see the discussion of Section \ref{s.airy}.}.

3: %\end{proof}

4: